Categorization of Implicit Invocation Systems
نویسندگان
چکیده
Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which implicit invocation systems can define, bind to, announce, subscribe, and deliver events. We also categorize the architectures and topologies of implicit invocation systems. The purpose of the categorization is to increase the understanding of the type of requirements that these systems impose on software development practices. As the categories are introduced, documented representative invocation systems are discussed in order to illustrate the types of systems that fall under each given category. Our categorization applies to systems as varied as active databases, aspect-oriented applications, and distributed heterogeneous event-based systems.
منابع مشابه
Towards a Formal Treatment of Implicit Invocation
Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...
متن کاملThe Event Notification Pattern - Integrating Implicit Invocation with Object-Orientation
Managing inter-object dependencies in object-oriented systems is a complex task. Changes of one object often require dependent objects to change accordingly. Making every object explicitly inform every dependent object about its state changes intertwines object interfaces and implementations, thereby hampering system evolution and maintenance. These problems can be overcome by introducing the n...
متن کاملUsing source transformation to test and model check implicit-invocation systems
In this paper we present a source transformation-based framework to support uniform testing and model checking of implicit-invocation software systems. The framework includes a new domain-specific programming language, the Implicit-Invocation Language (IIL), explicitly designed for directly expressing implicit-invocation software systems, and a set of formal rule-based source transformation too...
متن کاملAdding Implicit Invocation to Languages: Three Approaches
Implicit invocation based on event announcement is an increasingly important technique for integrating systems. However, the use of this technique has largely been con ned to tool integration systems|in which tools exist as independent processes|and special-purpose languages|in which specialized forms of event broadcast are designed into the language from the start. This paper broadens the clas...
متن کاملModel Checking Implicit-Invocation Systems: An Approach to the Automatic Analysis of Architectural Styles
In general, model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially difficult to analyze software systems developed with the implicitinvocation architectural style because the loose coupling of their components increases the size of the finite state model. It is the goal of th...
متن کامل